首页> 外文OA文献 >The design methodology for the verification of hybrid dynamical systems

【2h】

The design methodology for the verification of hybrid dynamical systems

机译：混合动力系统验证的设计方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

non-peer-reviewed

机译：未经同行评审

著录项

作者
Pluska, Michal; Sinclair, David;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Object-oriented Design of Reusable Model Libraries of Hybrid Dynamic Systems - Part One: A Design Methodology [J] . A. URQUIA, S. DORMIDO Mathematical and Computer Modelling of Dynamical Systems . 2003,第1期

机译：混合动力系统可重用模型库的面向对象设计-第一部分：一种设计方法
2. The dynamic flowgraph methodology as a safety analysis tool: programmable electronic system design and verification [J] . Michel Houtermans, George Apostolakis, Aarnout Brombacher, Safety science . 2002,第9期

机译：动态流程图方法作为安全分析工具：可编程电子系统设计和验证
3. Specification and Verification of Dynamically Reconfigurable Systems Using Dynamic Linear Hybrid Automata [J] . Ryo Yanase, Tatsunori Sakai, Makoto Sakai, Journal of Software Engineering and Applications . 2016,第9期

机译：使用动态线性混合自动机对动态可重构系统进行规范和验证
4. The design methodology for the verification of hybrid dynamical systems [C] . Pluska Michal, Sinclair David Cybernetic Intelligent Systems (CIS), 2011 IEEE 10th International Conference on . 2011

机译：混合动力系统验证的设计方法
5. A Comparison of Tools for Modeling and Verifying Hybrid Dynamical Systems [D] . Cakir, Gulsah. 2020

机译：用于建模和验证混合动力系统的工具的比较
6. Nanoemulsion Structural Design in Co-Encapsulation of Hybrid Multifunctional Agents: Influence of the Smart PLGA Polymers on the Nanosystem-Enhanced Delivery and Electro-Photodynamic Treatment [O] . Urszula Bazylińska, Julita Kulbacka, Grzegorz Chodaczek 2019

机译：混合多功能剂共包封中的纳米乳剂结构设计：智能PLGA聚合物对纳米系统增强的传递和电光动力学处理的影响
7. The design methodology for the verification of hybrid dynamical systems [O] . M. Pluska, D. Sinclair 2011

机译：混合动力系统验证的设计方法

The design methodology for the verification of hybrid dynamical systems

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅